The fundamental groupoid as a topological groupoid
نویسندگان
چکیده
منابع مشابه
Topological Groupoid Quantales
We associate a canonical unital involutive quantale to a topological groupoid. When the groupoid is also étale, this association is compatible with but independent from the theory of localic étale groupoids and their quantales [19] of P. Resende. As a motivating example, we describe the connection between the quantale and the C∗-algebra that both classify Penrose tilings, which was left as an o...
متن کاملThe Monodromy Groupoid of a Lie Groupoid
R esum e: Nous d emontrons que, sous des circomstances g en erales, l'union disjoint des couvertes universales des etoiles d'un groupo de de Lie admet le structure d'un groupo de de Lie auquel que le projection a une propri et e de monodromie sur les extensions des morphismes emousse. Ca compl etes une conte d etailles des r esultats annonc es par J. Pradines. Introduction The notion of monodro...
متن کاملA New Higher Homotopy Groupoid: the Fundamental Globular Ω-groupoid of a Filtered Space
We show that the graded set of filter homotopy classes rel vertices of maps from the n-globe to a filtered space may be given the structure of (strict) globular ω-groupoid. The proofs use an analogous fundamental cubical ω-groupoid due to the author and Philip Higgins in 1981. This method also relates the construction to the fundamental crossed complex of a filtered space, and this relation all...
متن کاملCentral S–Extensions of Some Fundamental Groupoid
Central S-extensions of the fundamental groupoid of a connected symplectic manifold with an Abelian fundamental group, satisfying some conditon on the universal covering space are computed.
متن کاملOn Computational Paths and the Fundamental Groupoid of a Type
The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz & Gabbay (1994) as ‘sequences of rewrites’, computational paths can be seen as the grounds on which the propositional equality between two computational objects stand. Using computational paths and categorical semantics, we take any type A of type theory and construct a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Edinburgh Mathematical Society
سال: 1975
ISSN: 0013-0915,1464-3839
DOI: 10.1017/s0013091500015509